Which of the following is a technique covered in Static Analysis ?

A. Formal verification
B. Model checking
C. Automated program analysis
D. All of the mentioned

Related Mcqs:

Choose the fault class in which the following automated static analysis check would fall:”Pointer Arithmetic” ?
A. Storage management faults B. Data Faults C. Input/Output Faults D. Interface faults...
Choose the fault class in which the following automated static analysis check would fall: “Unreachable code”?
A. Control Faults B. Data Faults C. Input/Output Faults D. Interface faults...
Choose the fault class in which the following automated static analysis check would fall:”Non-usage of the results of functions”?
A. Storage management faults B. Data Faults C. Input/Output Faults D. Interface faults...
Choose the fault class in which the following automated static analysis check would fall:”Variables declared but never used”?
A. Control Faults B. Data Faults C. Input/Output Faults D. Interface faults...
Static analysis is now routinely used in the development of many safety and security critical systems?
A. True B. False...
Which level of Static Analysis allows specific rules that apply to a program to be checked ?
A. Characteristic error checking B. User-defined error checking C. Assertion checking D. All of the mentioned...
Static Analysis involves executing a program ?
A. True B. False...
At which stage of risk analysis specification, the additional security requirements take account of the technologies used in building the system and system design and implementation decisions ?
A. Preliminary risk analysis B. Life-cycle risk analysis C. Operational risk analysis D. All of the mentioned...
Which of the following terms is a measure of the probability that the system will cause an accident ?
A. Risk B. Hazard probability C. Accident D. Damage...
Which of the following examples does not involve dependability engineering ?
A. Medical Systems B. Power Systems C. Library Management D. Telecommunications...